• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۰۳ پاسخ غیر تکراری از ۱۰۳ پاسخ تکراری در مدت زمان ۰,۷۸ ثانیه یافت شد.

81. Public Key Cryptography ђ́أ PKC 2012

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Marc Fischlin, Johannes Buchmann, Mark Manulis

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security

Classification :

82. Reachability problems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Igor Potapov, Pierre-Alain Reynier (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

Classification :
QA76
.
76
.
V47

83. Reliable and autonomous computational scienc

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.)

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Computational complexity, Congresses,Computational intelligence, Congresses,Intelligent agents (Computer software), Congresses

Classification :
E-BOOK

84. Reliable and autonomous computational science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity, Congresses.,Computational intelligence, Congresses.,Intelligent agents (Computer software), Congresses.

Classification :

85. Research in Computational Molecular Biology

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Benny Chor

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence,Bioinformatics,Computer science,Computer software,Data structures (Computer science),Database management,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computational Biology/Bioinformatics,Computer Science,Data Structures,Database Management

Classification :

86. Shortest path solvers :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andrew Adamatzky, editor.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.

Classification :
QA76
.
9
.
A43

87. Structural Complexity I

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science -- Mathematics.,Computer science.,Computer software.

Classification :

88. Systems biomedicine :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Edison T. Liu, Douglas A. Lauffenburger.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Medical sciences-- Computer simulation.,Systems biology.,Computer Simulation.,Systems Biology.,Biomathematik,Medical sciences-- Computer simulation.,Medizin,Systembiologie,Systems biology.

Classification :
QH324
.
2
.
S978
2009

89. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M.C. Gaudel, J.P. Jouannaud )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

Classification :
QA
76
.
L28
Vol
.
668

90. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Harmut Ehrig...]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

Classification :
QA
76
.
L28
Vol
.
249-250

91. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: J. Diaz, F. Orejas )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
351-352

92. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: S. Abramsky, T.S.E. Maibaum )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

Classification :
QA
76
.
L28
Vol
.
493-494

93. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Michel Bidoit, Max Dauchet )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

Classification :
QA
76
.
L28
Vol
.
1214

94. The singularity is near :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ray Kurzweil.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)

Classification :
QP376
.
K85
2006

95. Theoretical Computer Science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Armin B. Cremers, Hans-Peter Kriegel.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Computer software.

Classification :
QA267
.
E358
1982

96. Theory and applications of satisfiability testing -- SAT 2019 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Mikoláš Janota, Inês Lynce (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.

Classification :
QA76
.
9
.
A43

97. Theory of Semi-Feasible Algorithms

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Lane A. Hemaspaandra, Leen Torenvliet.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity.,Computer science.,Computer software.

Classification :
QA76
.
9
.
A43
B953
2003

98. Topics in Cryptology -- CT-RSA 2006

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by David Pointcheval.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity.,Computer networks.,Computer software.,Data encryption (Computer science),Information networks.,Operating systems (Computers)

Classification :

99. Transactions on Computational Science VIII

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Marina L. Gavrilova, C. J. Kenneth Tan.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity.,Computer science.,Computer software.,Computer vision.,Information storage and retrieval systems.,Optical pattern recognition.

Classification :

100. Transactions on Computational Science XI

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Coding theory.,Computational complexity.,Computer networks.,Computer science.,Computer software.,Data encryption (Computer science)

Classification :
  • »
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival